unordered pairs of disjoint subsets